[next] [tail] [up]

2.2.1 Integrals 1 to 100

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 57 44 479 219 49 0 923 44

N.S.

1 1.00 0.77 8.40 3.84 0.86 0.00 16.19 0.77

time (sec)

N/A 0.178 0.077 1.644 0.222 0.238 0.000 0.348 27.253

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 57 44 470 219 49 0 923 44

N.S.

1 1.00 0.77 8.25 3.84 0.86 0.00 16.19 0.77

time (sec)

N/A 0.186 0.062 1.217 0.241 0.236 0.000 0.329 27.561

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 52 40 43 206 45 0 882 40

N.S.

1 1.00 0.77 0.83 3.96 0.87 0.00 16.96 0.77

time (sec)

N/A 0.180 0.054 0.611 0.231 0.250 0.000 0.294 27.048

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 38 20 19 20 36 0 19

N.S.

1 1.00 2.00 1.05 1.00 1.05 1.89 0.00 1.00

time (sec)

N/A 0.196 0.036 0.335 0.191 0.245 0.239 0.000 26.822

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 57 40 45 209 44 192 0 0

N.S.

1 1.00 0.70 0.79 3.67 0.77 3.37 0.00 0.00

time (sec)

N/A 0.189 0.059 0.369 0.224 0.243 1.019 0.000 0.000

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 57 44 45 216 46 228 0 0

N.S.

1 1.00 0.77 0.79 3.79 0.81 4.00 0.00 0.00

time (sec)

N/A 0.183 0.058 0.616 0.223 0.241 2.395 0.000 0.000

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B A F B B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

97 97 61 0 301 80 0 833 67

N.S.

1 1.00 0.63 0.00 3.10 0.82 0.00 8.59 0.69

time (sec)

N/A 0.212 0.146 0.000 0.213 0.249 0.000 0.460 28.002

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B A F B B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

98 98 57 0 282 78 0 820 67

N.S.

1 1.00 0.58 0.00 2.88 0.80 0.00 8.37 0.68

time (sec)

N/A 0.210 0.103 0.000 0.224 0.252 0.000 0.430 27.445

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 88 56 59 280 73 0 786 56

N.S.

1 1.00 0.64 0.67 3.18 0.83 0.00 8.93 0.64

time (sec)

N/A 0.208 0.081 1.136 0.229 0.246 0.000 0.397 29.089

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 44 36 32 55 40 51 0 32

N.S.

1 1.13 0.92 0.82 1.41 1.03 1.31 0.00 0.82

time (sec)

N/A 0.210 0.081 0.845 0.215 0.243 1.452 0.000 26.706

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 95 57 59 283 71 303 0 0

N.S.

1 1.00 0.60 0.62 2.98 0.75 3.19 0.00 0.00

time (sec)

N/A 0.215 0.097 1.300 0.217 0.256 5.797 0.000 0.000

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 98 58 59 280 69 468 0 0

N.S.

1 1.00 0.59 0.60 2.86 0.70 4.78 0.00 0.00

time (sec)

N/A 0.218 0.093 2.131 0.229 0.255 2.436 0.000 0.000

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B A F(-1) B B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

160 154 122 0 1008 138 0 18085 122

N.S.

1 0.96 0.76 0.00 6.30 0.86 0.00 113.03 0.76

time (sec)

N/A 0.323 0.415 0.000 0.253 0.266 0.000 1.399 28.062

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B A F B B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

158 151 125 0 1016 140 0 18117 122

N.S.

1 0.96 0.79 0.00 6.43 0.89 0.00 114.66 0.77

time (sec)

N/A 0.315 0.393 0.000 0.234 0.271 0.000 1.157 27.388

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

149 141 121 115 990 130 0 17522 114

N.S.

1 0.95 0.81 0.77 6.64 0.87 0.00 117.60 0.77

time (sec)

N/A 0.294 0.354 1.786 0.263 0.252 0.000 0.767 27.737

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 37 45 35 233 37 73 0 37

N.S.

1 0.86 1.05 0.81 5.42 0.86 1.70 0.00 0.86

time (sec)

N/A 0.222 0.062 2.343 0.225 0.253 1.220 0.000 26.538

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

158 151 125 221 995 127 775 0 0

N.S.

1 0.96 0.79 1.40 6.30 0.80 4.91 0.00 0.00

time (sec)

N/A 0.320 0.289 3.698 0.253 0.251 34.112 0.000 0.000

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

158 151 125 221 1007 129 886 0 0

N.S.

1 0.96 0.79 1.40 6.37 0.82 5.61 0.00 0.00

time (sec)

N/A 0.323 0.306 6.378 0.252 0.264 35.838 0.000 0.000

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B A F(-1) B B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

202 191 171 0 1107 178 0 17035 127

N.S.

1 0.95 0.85 0.00 5.48 0.88 0.00 84.33 0.63

time (sec)

N/A 0.360 0.380 0.000 0.250 0.259 0.000 1.297 27.243

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B A F(-1) B B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

210 194 169 0 1085 177 0 16984 127

N.S.

1 0.92 0.80 0.00 5.17 0.84 0.00 80.88 0.60

time (sec)

N/A 0.343 0.353 0.000 0.270 0.259 0.000 1.082 27.087

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

191 177 168 184 1078 165 0 16422 117

N.S.

1 0.93 0.88 0.96 5.64 0.86 0.00 85.98 0.61

time (sec)

N/A 0.330 0.304 4.412 0.245 0.250 0.000 0.729 28.638

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 80 51 46 93 59 100 0 51

N.S.

1 1.10 0.70 0.63 1.27 0.81 1.37 0.00 0.70

time (sec)

N/A 0.274 0.102 6.523 0.230 0.258 11.453 0.000 29.630

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

202 189 170 200 1085 162 959 0 0

N.S.

1 0.94 0.84 0.99 5.37 0.80 4.75 0.00 0.00

time (sec)

N/A 0.342 0.388 11.246 0.265 0.256 99.617 0.000 0.000

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

210 194 169 200 1082 163 1066 0 0

N.S.

1 0.92 0.80 0.95 5.15 0.78 5.08 0.00 0.00

time (sec)

N/A 0.345 0.380 18.994 0.256 0.255 98.440 0.000 0.000

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 37 29 34 27 33 56 35 36

N.S.

1 0.95 0.74 0.87 0.69 0.85 1.44 0.90 0.92

time (sec)

N/A 0.197 0.021 0.417 0.189 0.251 0.183 0.260 27.838

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F A C F C B

verified

N/A No N/A N/A TBD TBD TBD TBD TBD

size

133 123 0 0 82 63 0 272 135

N.S.

1 0.92 0.00 0.00 0.62 0.47 0.00 2.05 1.02

time (sec)

N/A 0.425 0.000 0.000 0.240 0.261 0.000 1.062 28.790

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F B A C F A B

verified

N/A No N/A Yes TBD TBD TBD TBD TBD

size

88 80 0 619 31 42 0 1 85

N.S.

1 0.91 0.00 7.03 0.35 0.48 0.00 0.01 0.97

time (sec)

N/A 0.313 0.000 2.668 0.220 0.257 0.000 0.429 27.832

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F B A C F A B

verified

N/A No N/A Yes TBD TBD TBD TBD TBD

size

88 80 0 610 31 42 0 1 85

N.S.

1 0.91 0.00 6.93 0.35 0.48 0.00 0.01 0.97

time (sec)

N/A 0.294 0.000 1.820 0.212 0.247 0.000 0.420 27.339

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F A C F A B

verified

N/A No N/A N/A TBD TBD TBD TBD TBD

size

82 78 0 0 29 42 0 1 81

N.S.

1 0.95 0.00 0.00 0.35 0.51 0.00 0.01 0.99

time (sec)

N/A 0.290 0.000 0.000 0.223 0.246 0.000 0.351 27.922

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

5 5 5 6 5 5 5 6 5

N.S.

1 1.00 1.00 1.20 1.00 1.00 1.00 1.20 1.00

time (sec)

N/A 0.125 0.001 0.036 0.193 0.229 0.018 0.276 26.234

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F A A C A F F(-1)

verified

N/A No N/A Yes TBD TBD TBD TBD TBD

size

86 78 0 68 33 45 107 0 0

N.S.

1 0.91 0.00 0.79 0.38 0.52 1.24 0.00 0.00

time (sec)

N/A 0.309 0.000 2.748 0.212 0.240 1.583 0.000 0.000

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F A A C A F F(-1)

verified

N/A No N/A Yes TBD TBD TBD TBD TBD

size

88 80 0 119 35 45 117 0 0

N.S.

1 0.91 0.00 1.35 0.40 0.51 1.33 0.00 0.00

time (sec)

N/A 0.302 0.000 4.847 0.220 0.242 5.409 0.000 0.000

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F A C F C B

verified

N/A No N/A N/A TBD TBD TBD TBD TBD

size

117 130 0 0 173 107 0 498 145

N.S.

1 1.11 0.00 0.00 1.48 0.91 0.00 4.26 1.24

time (sec)

N/A 0.428 0.000 0.000 0.257 0.247 0.000 3.367 28.003

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F A C F A B

verified

N/A No N/A N/A TBD TBD TBD TBD TBD

size

76 92 0 0 47 59 0 1 92

N.S.

1 1.21 0.00 0.00 0.62 0.78 0.00 0.01 1.21

time (sec)

N/A 0.324 0.000 0.000 0.226 0.250 0.000 0.770 26.812

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F A C F A B

verified

N/A No N/A N/A TBD TBD TBD TBD TBD

size

76 89 0 0 47 60 0 1 92

N.S.

1 1.17 0.00 0.00 0.62 0.79 0.00 0.01 1.21

time (sec)

N/A 0.313 0.000 0.000 0.228 0.254 0.000 0.744 28.605

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F A C F A B

verified

N/A No N/A N/A TBD TBD TBD TBD TBD

size

68 86 0 0 41 57 0 1 86

N.S.

1 1.26 0.00 0.00 0.60 0.84 0.00 0.01 1.26

time (sec)

N/A 0.304 0.000 0.000 0.221 0.245 0.000 0.571 27.215

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

7 7 7 8 7 10 7 8 7

N.S.

1 1.00 1.00 1.14 1.00 1.43 1.00 1.14 1.00

time (sec)

N/A 0.127 0.001 0.037 0.217 0.228 0.019 0.262 0.029

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F B A C A F F(-1)

verified

N/A No N/A Yes TBD TBD TBD TBD TBD

size

74 88 0 199 48 62 105 0 0

N.S.

1 1.19 0.00 2.69 0.65 0.84 1.42 0.00 0.00

time (sec)

N/A 0.314 0.000 10.819 0.253 0.252 11.562 0.000 0.000

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F A A C B F F(-1)

verified

N/A No N/A Yes TBD TBD TBD TBD TBD

size

76 90 0 80 54 65 219 0 0

N.S.

1 1.18 0.00 1.05 0.71 0.86 2.88 0.00 0.00

time (sec)

N/A 0.318 0.000 21.958 0.225 0.238 5.363 0.000 0.000

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

226 231 169 135 195 128 0 1870 297

N.S.

1 1.02 0.75 0.60 0.86 0.57 0.00 8.27 1.31

time (sec)

N/A 0.397 0.958 74.050 0.279 0.259 0.000 7.354 29.957

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F A C F(-1) F(-2) F(-1)

verified

N/A No N/A N/A TBD TBD TBD TBD TBD

size

172 142 0 0 90 82 0 0 0

N.S.

1 0.83 0.00 0.00 0.52 0.48 0.00 0.00 0.00

time (sec)

N/A 0.371 0.000 0.000 0.241 0.252 0.000 0.000 0.000

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F A C F F(-2) B

verified

N/A No N/A N/A TBD TBD TBD TBD TBD

size

178 146 0 0 112 84 0 0 163

N.S.

1 0.82 0.00 0.00 0.63 0.47 0.00 0.00 0.92

time (sec)

N/A 0.353 0.000 0.000 0.241 0.236 0.000 0.000 29.193

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F A C F F(-2) B

verified

N/A No N/A N/A TBD TBD TBD TBD TBD

size

168 144 0 0 106 84 0 0 155

N.S.

1 0.86 0.00 0.00 0.63 0.50 0.00 0.00 0.92

time (sec)

N/A 0.353 0.000 0.000 0.247 0.245 0.000 0.000 27.260

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

7 7 7 8 7 12 7 8 7

N.S.

1 1.00 1.00 1.14 1.00 1.71 1.00 1.14 1.00

time (sec)

N/A 0.129 0.003 0.034 0.199 0.222 0.019 0.252 26.395

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F A A C A F F(-1)

verified

N/A No N/A Yes TBD TBD TBD TBD TBD

size

176 144 0 284 122 87 167 0 0

N.S.

1 0.82 0.00 1.61 0.69 0.49 0.95 0.00 0.00

time (sec)

N/A 0.369 0.000 45.932 0.253 0.252 44.818 0.000 0.000

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F A A C A F F(-1)

verified

N/A No N/A Yes TBD TBD TBD TBD TBD

size

178 146 0 136 128 87 184 0 0

N.S.

1 0.82 0.00 0.76 0.72 0.49 1.03 0.00 0.00

time (sec)

N/A 0.370 0.000 88.059 0.242 0.246 54.026 0.000 0.000

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F A C F C B

verified

N/A No N/A N/A TBD TBD TBD TBD TBD

size

112 100 0 0 48 51 0 189 139

N.S.

1 0.89 0.00 0.00 0.43 0.46 0.00 1.69 1.24

time (sec)

N/A 0.362 0.000 0.000 0.232 0.257 0.000 0.579 28.918

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 44 44 106 31 24 0 24 0

N.S.

1 0.85 0.85 2.04 0.60 0.46 0.00 0.46 0.00

time (sec)

N/A 0.243 0.058 1.095 0.206 0.255 0.000 0.276 0.000

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F A C F C B

verified

N/A No N/A N/A TBD TBD TBD TBD TBD

size

106 107 0 0 134 75 0 350 149

N.S.

1 1.01 0.00 0.00 1.26 0.71 0.00 3.30 1.41

time (sec)

N/A 0.375 0.000 0.000 0.218 0.245 0.000 1.405 27.991

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 54 60 173 47 145 0 27 0

N.S.

1 1.02 1.13 3.26 0.89 2.74 0.00 0.51 0.00

time (sec)

N/A 0.253 0.087 2.571 0.214 0.465 0.000 0.353 0.000

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F A C F C B

verified

N/A No N/A N/A TBD TBD TBD TBD TBD

size

218 182 0 0 206 98 0 1297 291

N.S.

1 0.83 0.00 0.00 0.94 0.45 0.00 5.95 1.33

time (sec)

N/A 0.464 0.000 0.000 0.223 0.261 0.000 2.860 29.610

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 82 103 284 75 204 0 0 0

N.S.

1 0.84 1.05 2.90 0.77 2.08 0.00 0.00 0.00

time (sec)

N/A 0.275 0.103 4.481 0.209 1.753 0.000 0.000 0.000

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

111 111 145 0 0 0 0 0 0

N.S.

1 1.00 1.31 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.312 11.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

110 110 148 0 0 0 0 0 0

N.S.

1 1.00 1.35 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.291 9.871 0.000 0.000 0.000 0.000 0.000 0.000

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 29 32 129 0 90 0 0 26

N.S.

1 1.00 1.10 4.45 0.00 3.10 0.00 0.00 0.90

time (sec)

N/A 0.207 0.088 0.987 0.000 0.091 0.000 0.000 26.549

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

111 111 149 0 0 0 0 0 0

N.S.

1 1.00 1.34 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.304 11.201 0.000 0.000 0.000 0.000 0.000 0.000

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

111 111 145 0 0 0 0 0 0

N.S.

1 1.00 1.31 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.310 11.153 0.000 0.000 0.000 0.000 0.000 0.000

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

111 111 218 0 0 0 0 0 0

N.S.

1 1.00 1.96 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.305 1.005 0.000 0.000 0.000 0.000 0.000 0.000

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

109 109 218 0 0 0 0 0 0

N.S.

1 1.00 2.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.292 0.823 0.000 0.000 0.000 0.000 0.000 0.000

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 66 58 131 0 111 0 0 65

N.S.

1 0.97 0.85 1.93 0.00 1.63 0.00 0.00 0.96

time (sec)

N/A 0.275 0.121 0.947 0.000 0.095 0.000 0.000 26.064

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

111 111 220 0 0 0 0 0 0

N.S.

1 1.00 1.98 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.304 0.916 0.000 0.000 0.000 0.000 0.000 0.000

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

111 111 216 0 0 0 0 0 0

N.S.

1 1.00 1.95 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.308 0.930 0.000 0.000 0.000 0.000 0.000 0.000

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

109 109 132 0 0 0 0 0 0

N.S.

1 1.00 1.21 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.291 0.412 0.000 0.000 0.000 0.000 0.000 0.000

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 29 32 102 0 82 0 0 26

N.S.

1 1.00 1.10 3.52 0.00 2.83 0.00 0.00 0.90

time (sec)

N/A 0.205 0.111 0.874 0.000 0.081 0.000 0.000 25.897

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

109 109 164 0 0 0 0 0 0

N.S.

1 1.00 1.50 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.293 12.804 0.000 0.000 0.000 0.000 0.000 0.000

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 62 57 190 0 156 0 0 65

N.S.

1 0.97 0.89 2.97 0.00 2.44 0.00 0.00 1.02

time (sec)

N/A 0.270 0.163 0.977 0.000 0.086 0.000 0.000 27.616

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F(-1) F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

109 109 191 0 0 0 0 0 0

N.S.

1 1.00 1.75 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.289 2.425 0.000 0.000 0.000 0.000 0.000 0.000

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 66 61 131 0 177 0 0 65

N.S.

1 0.97 0.90 1.93 0.00 2.60 0.00 0.00 0.96

time (sec)

N/A 0.271 0.173 0.882 0.000 0.090 0.000 0.000 26.770

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B A F F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

49 49 81 0 402 43 0 0 50

N.S.

1 1.00 1.65 0.00 8.20 0.88 0.00 0.00 1.02

time (sec)

N/A 0.224 0.154 0.000 0.427 0.238 0.000 0.000 27.784

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B A F B B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

337 295 341 0 16932 467 0 706991 175

N.S.

1 0.88 1.01 0.00 50.24 1.39 0.00 2097.90 0.52

time (sec)

N/A 0.474 1.481 0.000 0.939 0.291 0.000 20.102 28.210

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B A F B B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

256 233 326 0 11491 293 0 200416 161

N.S.

1 0.91 1.27 0.00 44.89 1.14 0.00 782.88 0.63

time (sec)

N/A 0.416 1.058 0.000 0.548 0.295 0.000 6.148 29.605

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F B A F B B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

154 154 102 0 2551 155 0 30585 95

N.S.

1 1.00 0.66 0.00 16.56 1.01 0.00 198.60 0.62

time (sec)

N/A 0.264 0.258 0.000 0.315 0.257 0.000 1.285 28.782

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B A F B B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

92 92 63 0 1263 86 0 6580 80

N.S.

1 1.00 0.68 0.00 13.73 0.93 0.00 71.52 0.87

time (sec)

N/A 0.212 0.136 0.000 0.269 0.253 0.000 0.519 28.695

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

150 145 256 0 0 0 0 0 0

N.S.

1 0.97 1.71 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.362 1.559 0.000 0.000 0.000 0.000 0.000 0.000

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

149 145 488 0 0 0 0 0 0

N.S.

1 0.97 3.28 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.362 6.542 0.000 0.000 0.000 0.000 0.000 0.000

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

150 150 165 0 0 0 0 0 0

N.S.

1 1.00 1.10 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.355 0.763 0.000 0.000 0.000 0.000 0.000 0.000

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F(-2) F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

150 145 544 0 0 0 0 0 0

N.S.

1 0.97 3.63 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.354 3.990 0.000 0.000 0.000 0.000 0.000 0.000

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F(-1) F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

150 145 205 0 0 0 0 0 0

N.S.

1 0.97 1.37 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.354 1.740 0.000 0.000 0.000 0.000 0.000 0.000

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

144 181 174 0 0 0 0 0 0

N.S.

1 1.26 1.21 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.378 1.069 0.000 0.000 0.000 0.000 0.000 0.000

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

114 114 148 0 0 0 0 0 0

N.S.

1 1.00 1.30 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.327 0.693 0.000 0.000 0.000 0.000 0.000 0.000

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

114 114 144 0 0 0 0 0 0

N.S.

1 1.00 1.26 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.318 0.699 0.000 0.000 0.000 0.000 0.000 0.000

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

112 112 146 0 0 0 0 0 0

N.S.

1 1.00 1.30 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.300 0.522 0.000 0.000 0.000 0.000 0.000 0.000

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

86 86 86 0 0 0 0 0 77

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.90

time (sec)

N/A 0.241 0.137 0.000 0.000 0.000 0.000 0.000 27.139

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

115 115 146 0 0 0 0 0 0

N.S.

1 1.00 1.27 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.327 0.563 0.000 0.000 0.000 0.000 0.000 0.000

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

115 115 142 0 0 0 0 0 0

N.S.

1 1.00 1.23 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.325 0.598 0.000 0.000 0.000 0.000 0.000 0.000

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 56 43 44 218 48 0 923 43

N.S.

1 1.00 0.77 0.79 3.89 0.86 0.00 16.48 0.77

time (sec)

N/A 0.191 0.059 2.527 0.234 0.252 0.000 0.348 26.091

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 56 43 44 218 48 0 915 43

N.S.

1 1.00 0.77 0.79 3.89 0.86 0.00 16.34 0.77

time (sec)

N/A 0.191 0.055 1.977 0.245 0.245 0.000 0.328 26.264

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 39 40 205 43 0 878 39

N.S.

1 1.00 0.76 0.78 4.02 0.84 0.00 17.22 0.76

time (sec)

N/A 0.182 0.041 1.105 0.233 0.241 0.000 0.297 26.939

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 37 19 18 19 34 0 18

N.S.

1 1.00 2.06 1.06 1.00 1.06 1.89 0.00 1.00

time (sec)

N/A 0.193 0.023 0.524 0.215 0.243 0.225 0.000 27.471

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 56 41 44 208 45 192 0 0

N.S.

1 1.00 0.73 0.79 3.71 0.80 3.43 0.00 0.00

time (sec)

N/A 0.186 0.049 0.638 0.234 0.239 1.008 0.000 0.000

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 97 61 61 301 76 0 833 66

N.S.

1 1.00 0.63 0.63 3.10 0.78 0.00 8.59 0.68

time (sec)

N/A 0.218 0.136 2.323 0.250 0.251 0.000 0.464 27.228

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 98 54 57 282 74 0 820 66

N.S.

1 1.00 0.55 0.58 2.88 0.76 0.00 8.37 0.67

time (sec)

N/A 0.215 0.079 1.410 0.233 0.260 0.000 0.450 27.174

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 88 54 57 280 68 0 786 56

N.S.

1 1.00 0.61 0.65 3.18 0.77 0.00 8.93 0.64

time (sec)

N/A 0.211 0.067 1.720 0.241 0.241 0.000 0.417 27.665

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 44 36 30 53 39 51 0 32

N.S.

1 1.13 0.92 0.77 1.36 1.00 1.31 0.00 0.82

time (sec)

N/A 0.205 0.063 1.409 0.224 0.247 1.172 0.000 26.950

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 95 57 61 285 68 301 0 0

N.S.

1 1.00 0.60 0.64 3.00 0.72 3.17 0.00 0.00

time (sec)

N/A 0.215 0.104 2.259 0.243 0.254 4.019 0.000 0.000

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

160 153 120 117 1007 127 0 18053 122

N.S.

1 0.96 0.75 0.73 6.29 0.79 0.00 112.83 0.76

time (sec)

N/A 0.327 0.378 7.307 0.259 0.252 0.000 1.465 27.907

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

158 150 123 117 1015 129 0 18069 122

N.S.

1 0.95 0.78 0.74 6.42 0.82 0.00 114.36 0.77

time (sec)

N/A 0.320 0.370 4.093 0.263 0.247 0.000 1.228 26.986

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

149 140 117 113 989 119 0 17458 114

N.S.

1 0.94 0.79 0.76 6.64 0.80 0.00 117.17 0.77

time (sec)

N/A 0.297 0.328 3.263 0.259 0.251 0.000 0.798 27.112

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 39 42 35 232 36 71 0 37

N.S.

1 0.93 1.00 0.83 5.52 0.86 1.69 0.00 0.88

time (sec)

N/A 0.225 0.044 4.697 0.232 0.243 1.272 0.000 27.886

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

158 150 122 235 994 119 774 0 0

N.S.

1 0.95 0.77 1.49 6.29 0.75 4.90 0.00 0.00

time (sec)

N/A 0.316 0.350 7.092 0.265 0.262 21.927 0.000 0.000

[next] [front] [up]